377 research outputs found

    Espaces de baire et espaces de probabilité de structures relationnelles

    Get PDF
    RésuméL'ensemble P(Nn) des relations n-aires sur l'ensemble N des nombres naturels est, comme produit dénombrable d'espaces discrets finis, un espace topologique compact et, comme produit dénombrable d'espaces de probabilité finis, un espace de probabilité. De même pour l'espace E = ∏iϵIP(Nϱ(i)), où ϱ: I → N est une fonction de domaine au plus dénombrable. Chaque permutation de N induit une permutation de Nn, puis une permutation de P(Nn) et de E. Si I est fini, on montre l'existence dans E d'une partie invariante (par rapport à ces permutations) minimale qui est de mesure 1 et dont le complément est maigre. Sans restriction sur I, on montre que tout borélien invariant de E est soit maigre, soit de complément maigre et de plus soit de mesure 0, soit de mesure 1. On en déduit qu'il existe dans le langage Lω1ω des théories complètes et consistantes mais qui n'admettent pas de modèle. On conclut avec une application des résultats précédents à la théorie axiomatique des ensembles

    A Note on Frame Distributions

    Get PDF
    In the context of constructive locale or frame theory (localetheory over a fixed base locale), we study some aspects of 'frame distributions', meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation terms, of the 'interior of closure' operator on open parts of a locale

    Logic and the Trinity

    Get PDF

    Completeness Theorems via the Double Dual Functor

    Get PDF
    The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.Facultad de Ciencias Exacta

    Grandes bazos: presentación de dos casos

    Get PDF
    Los tumores benignos del bazo como los quistes esplénicos y las esplenomegalias per se no representan un peligro para los pacientes portadores de estas raras lesiones; sin embargo tienen un riesgo potencial de crecer y lograr dimensiones que pueda originar complicaciones tales como rotura, producir una hemorragia intraperitoneal o infectarse. A continuación reportamos dos pacientes con bazo gigante, síntomas abdominales inespecíficos y que fueron tratados con cirugía. El primer caso es un paciente con quiste esplénico; histológicamente se caracteriza por la presencia de epitelio escamoso en su pared que condiciona una producción importante, en algunos casos del marcador tumoral CA 19.9 que ha sido descrito en varios trabajos recientes. El segundo caso es un paciente con un gran hiperesplenismo de 26cm de diámetro máximo, y dolor abdominal. En estos pacientes la microscopía muestra frecuentemente infiltración a diferentes niveles, según su enfermedad, de variados elementos que pueden ser desde células benignas como las enfermedades hiperplásicas del sistema reticuloendotelial, células malignas como en las leucemias y linfomas , enfermedades por depósito, o por infiltración en las que se agrupan a las histiocitosis, como es el segundo caso que presentamos. El tratamiento para bazos grandes, generalmente mayores de 13cm de diámetro y con sintomatología, es el quirúrgico y específicamente la esplenectomía total, pues la presencia de restos de la pared del quiste con otras técnicas más conservadoras parece llevar inexorablemente a la recurrencia de la enfermedad, así mismo cirugías conservadoras en hipertrofia o hiperesplenismo sólo perpetuarán la enfermedad de base
    corecore